A Method for Integrating Deductive Databases
نویسندگان
چکیده
This paper presents a method for integrating deductive databases. In our approach deductive databases are expressed in a functional database programming language in which rules are expressed as derived functions. For integrating the extensional parts of deductive databases, we use a binary relational ER model with subtyping as the common data model and propose a semi-automatic method to perform the integration. For integrating the intentional parts of deductive databases, we formally deene equivalence and subsumption relationships between derived functions and propose a systematic method for comparing their semantics and integrating them.
منابع مشابه
Integrating Deductive Databases
This paper presents a method for integrating deductive databases. In our approach deductive databases are expressed in a functional database programming language in which rules are expressed as derived functions. For integrating the extensional parts of deductive databases, we use a binary relational ER model with subtyping as the common data model and propose a semi-automatic method to perform...
متن کاملActive-U-Datalog: Integrating Active Rules in a Logical Update Language
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a practical technology, deductive rules have to be extended to provide a dynamic behavior. In particular, current applications require not only a support for updates and transactions but also the ability to automaticall...
متن کاملIntegrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract)
We review in this paper both a framework for integrating the treatment of advanced update problems in deductive databases and the architecture of the FOLRE deductive database management system prototype, which extends the basic updating facilities provided by current deductive database systems. The distinguishing feature of our approach is the underlying integrative framework used to specify an...
متن کاملA Materialized View for the Same Generation Query in Deductive Databases
Traditionally, deductive databases are designed as extensions to relational databases by either integrating a logic programming language, such as PROLOG, with a conventional relational database system that provides storage persistence needed for any database system, or by integrating an expert system with a relational database system. Deductive databases take advantage of a special kind of rule...
متن کاملModeling Uncertainty in Deductive Databases
Information Source Tracking (IST) method has been developed recently for the modeling and manipulation of uncertain and inaccurate data in relational databases. In this paper we extend the IST method to deductive databases. We show that positive uncertain databases, i.e. IST-based deductive databases with only positive literals in the heads and the bodies of the rules, enjoy a least model/least...
متن کامل